Cálculo de Programas

Licenciatura em Engenharia Informática

Cancel

Search: ^p

Education/CP0809 Web	Changed	Changed by

Programa	01 Apr 2009 - 11:43 - r4	AlcinoCunha
Cálculo point free Programação funcional usando combinadores. Álgebra da programação funcional: propriedades universais. Técnicas para eliminação de ...

Projecto	24 Mar 2009 - 17:49 - r4	AlcinoCunha
Enunciado O objectivo do projecto deste ano é desenvolver um programa capaz de automatizar o cálculo de programas no estilo point free . Mais especificamente, dada ...

Projecto0708	20 Feb 2009 - 14:00 - r5	AlcinoCunha
Enunciado do Projecto0708 Considere o seguinte tipo Haskell para representar uma linguagem de programação imperativa muito simples: data Exp Const Int ...

Found 3 topics.

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Syndicate this site RSS ATOM